两种智能值排序启发式研究

为提升约束满足问题求解效率, 对最受推崇的智能值排序启发式Look-ahead 和Survivors-first 进行深入研究。比较两种值排序启发式在常规和自适应两种环境下的效率表现。结果显示, 在多数问题类上, 常规情况下Survivors-first效果更好, 而在自适应环境下效率有所下降; 在不同环境下使用不同启发式可提升约束满足问题求解效率。     

具有服务时长的在线TSP问题

针对城市快递揽件服务过程中,需求事先无法预知并且每个需求服务时长不确定的情形,提出具有服务时长的在线TSP问题.分别在一般网络图上和直线上证明了此问题的竞争比下界进而在一般网络上给出PAH-ST算法,在直线上给出PQR-ST算法,并对算法进行了竞争性能分析.本文提出模型是在线TSP问题的一般形式,结论可以为快递车辆的实时调度决策提供依据.     

带积分边界条件的非线性高阶分数阶微分方程解的存在性

首先通过拉普拉斯变换得出一类带积分边界条件的非线性高阶分数阶微分方程满足边界条件的解,再利用压缩映射原理和Krasnosel’skii不动点理论,讨论了这类方程解的存在性和惟一性。     

复合材料构件数字化精确成形技术与装备

 在分析国内外复合材料预制体成形技术与装备研究现状基础上，分析了复合材料构件的成形制造目前存在用工密集制造效率低、形性精确成形调控难、成形过程自动化程度低等问题，介绍了数字化柔性导向三维织造成形方法和变曲率预制体铺放-缠绕-针刺一体化成形方法，提出了复合材料构件成形技术与装备的未来发展建议，以推动复合材料构件高效率、高性能、高质量的自动化数字化成形制造技术发展，更好地提升基于纤维预制体复合材料构件制造水平。     

一类二阶非线性周期边值问题正解集的全局结构

用区间分歧理论与拓扑度理论,研究一类二阶非线性周期边值问题:■给出该问题正解集的全局结构.其中:λ0是一个参数;q∈C([0,2π\],[0,∞))且q不恒为0;f∈C([0,∞),[0,∞));g∈C([0,2π],[0,∞))且存在t_0∈[0,2π]使得g(t_0)0.     

一类完全阶边值问题解的唯一性

讨论了形如 的完全n阶边值问题解的唯一性。先运用经典的泛函分析方法得到了n阶情形时,在f(t,x0,x1,…,xn-1)对于x0,x1,…,xn-1满足lipschitz条件下方程有唯一解这一结论；再将结果应用在三阶情形,得到相关推论。     

华林-哥德巴赫问题: 两个平方, 两个立方和两个四次方

令$P_r$表示素因子不超过 $r$ 的殆素数, 按重数计. 作者证明了对于充分大的偶数 $N$, 方程 $$N=x^2+p_1^2+p_2^3+p_3^3+p_4^4+p_5^4$$ 有解, 其中 $x$ 是殆素数 $P_6$, $p_j\,(j=1, \cdots, 5)$ 是素数.     

带搬运时间的批量生产制造系统生产作业计划方法

为给考虑搬运时间的批量生产制造系统中的同类型工件制定生产作业计划,对批量工件的加工与搬运时间、搬运车辆调度和工件移动方式决策等问题进行深入研究.构建同类型批量工件在不同移动方式中的加工与搬运时间模型并设计相应的计算流程图.建立基于生产周期和搬运车辆总投入数量两个决策目标的工件移动方式决策模型.研究结果表明:本研究可有效选择工件移动方式,可为考虑搬运时间的同类型批量工件制定精确的生产作业计划,并可对搬运车辆进行合理调度.     

(D_4,D_4)-等变分歧问题的性质

研究状态变量和分歧参数均以紧致Lie群D4为对称群的等变分歧问题在接触等价下的代数性质,给出了(D4,D4)-不变函数芽环εz,λ(D4,D4)的Hilbert基,得到了(D4,D4)-等变映射芽所构成的模珗εz,λ(D4,D4)的生成元以及(D4,D4)-不变函数芽环上的矩阵值映射芽所构成的模Ez,λ(D4,D4)的生成元,由此得到在接触等价下等变分歧问题切空间的生成元,并对切空间进行讨论分析得出其余维数的一个估计.     

中子活化分析中煤样厚度及探测器位置的选择

利用MCNP5程序包模拟14MeV脉冲中子照射一定厚度煤样,并通过时间控制获得非弹γ能谱和俘获γ能谱,再利用计数率的高低确定γ能谱的获取位置.结果表明:当煤样厚度为20cm时,非弹γ能谱的计数率达到饱和;当煤样厚度为35cm时,俘获γ能谱的计数率达到饱和.